
(and (< -3.14f32 3)
     (> 3.14f32 3))
